$\forall$$g$:IMonoid, $n$:$\mid$($<\mathbb{Z}$+$>\downarrow$hgrp)$\mid$, $e$:$\mid$$g$$\mid$. ($n$ $\cdot$ $e$) $\in$ $\mid$$g$$\mid$